Finite Simple Abelian Algebras Are Strictly Simple
نویسنده
چکیده
A finite universal algebra is called strictly simple if it is simple and has no nontrivial subalgebras. An algebra is said to be Abelian if for every term t(x,y) and for all elements a, b, c, d, we have the following implication: t(a,c) = t(a,d) —> t(b,c) = t(b,d) . It is shown that every finite simple Abelian universal algebra is strictly simple. This generalizes a well-known fact about Abelian groups and modules.
منابع مشابه
Finite Simple Abelian Algebras
A finite universal algebra is called strictly simple if it is simple and has no nontrivial subalgebras. An algebra is said to be Abelian if for every term t(x, ȳ) and for all elements a, b, c̄, d̄, we have the following implication: t(a, c̄) = t(a, d̄) −→ t(b, c̄) = t(b, d̄). It is shown that every finite simple Abelian universal algebra is strictly simple. This generalizes a well known fact about Ab...
متن کاملA Characterization of Minimal Locally Finite Varieties
In this paper we describe a one–variable Mal′cev–like condition satisfied by any locally finite minimal variety. We prove that a locally finite variety is minimal if and only if it satisfies this Mal′cev–like condition and it is generated by a strictly simple algebra which is nonabelian or has a trivial subalgebra. Our arguments show that the strictly simple generator of a minimal locally finit...
متن کاملClassification of finite simple groups whose Sylow 3-subgroups are of order 9
In this paper, without using the classification of finite simple groups, we determine the structure of finite simple groups whose Sylow 3-subgroups are of the order 9. More precisely, we classify finite simple groups whose Sylow 3-subgroups are elementary abelian of order 9.
متن کاملLie Algebras with Abelian Centralizers
We classify all finite dimensional Lie algebras over an algebraically closed field of characteristic 0, whose nonzero elements have abelian centralizers. These algebras are either simple or solvable, where the only simple such Lie algebra is sl2. In the solvable case they are either abelian or a one-dimensional split extension of an abelian Lie algebra.
متن کاملProjectivity and isomorphism of strictly simple algebras
We describe a sufficient condition for the localization functor to be a categorical equivalence. Using this result we explain how to simplify the test for projectivity. This leads to a description of the strictly simply algebras which are projective in the variety they generate. A byproduct of our efforts is the result that if A and B are strictly simple and generate the same variety, then A$B ...
متن کامل